geometric representation theory
representation, 2-representation, ∞-representation
Grothendieck group, lambda-ring, symmetric function, formal group
principal bundle, torsor, vector bundle, Atiyah Lie algebroid
Eilenberg-Moore category, algebra over an operad, actegory, crossed module
Be?linson-Bernstein localization?
The generalization of the concept of suspension spectrum from stable homotopy theory to -equivariant stable homotopy theory.
Let be a pointed topological G-space. For a representation in the G-universe , write for its representation sphere.
As a G-spectrum indexed on a G-universe:
the suspension -pre-spectrum is ;
the suspension -spectrum is
where .
The equivariant suspension spectrum of a pointed topological G-space is the G-spectrum which, modeled as an orthogonal spectrum with -action, is in degree given by the smash product
of with the n-sphere, equipped with the canonical action of the orthogonal group just on the -factor and equipped with the given action of on just .
(e.g. Schwede 15, example 2.11)
In generalization to the strong monoidal-structure on the ordinary suspension spectrum functor with respect to the symmetric monoidal smash product of spectra (see there) also the equivariant suspension spectrum functor ought to constitute a monoidal (infinity,1)-functor from -equivariant homotopy theory to -equivariant stable homotopy theory.
This follows from general properties of stabilization when regarding equivariant stable homotopy theory as the result of inverting smash product with all representation spheres, via Robalo 12, last clause of Prop. 4.1 with last clause of Prop. 4.10 (1), generalized to sets of objects as in Hoyois 15, section 6.1, see also Hoyois 15, Def. 6.1.
Alternatively, under the equivalence of genuine G-spectra with spectral Mackey functors on the Burnside category, it follows as in Nardin 12, Remark A.12.
For an orthogonal linear -representation then the value of the equivariant suspension spectrum in that RO(G)-degree is the smash product of with the corresponding representation sphere.
For a complete -universe and its fixed point universe, then the inclusion induces an adjunction
between naive G-spectra and genuine G-spectra. The genuine -suspension spectrum is the naive -suspension spectrum followed by :
The -equivariant sphere spectrum is
for regarded as equipped with the (necessarily) trivial -action. It follows that for an orthogonal linear -representation then in RO(G)-degree the equivariant sphere spectrum is the corresponding representation sphere .
The equivariant homotopy groups and the fixed point spectra of equivariant suspension spectra decompose into the naive fixed points of the -action on . This is the tom Dieck splitting, see there for details.
Andrew Blumberg, Example 2.5.9 in Equivariant homotopy theory, 2017 (pdf, GitHub)
John Greenlees, Peter May, Equivariant stable homotopy theory, in I.M. James (ed.), Handbook of Algebraic Topology , pp. 279-325. 1995. (pdf)
Stefan Schwede, Lectures on Equivariant Stable Homotopy Theory, 2015 (pdf)
Discussion in terms of spectral Mackey functors on the Burnside category:
Last revised on January 4, 2019 at 22:59:45. See the history of this page for a list of all contributions to it.